$\forall$${\it es}$, $B$, $I$:Top. \{$e$:E$\mid$ \{$I$\}($e$)\} $\sim$ E($I$)